VDict - Definition of type theory

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

Russell's Paradox type assignment discriminated union functor type typed lambda-calculus algebraic data type theory Isabelle lifted domain union constructed type set theory generic type variable Zermelo Frankel set theory monad subtype type inference belief revision complete theory constructor principal type Run-Time Type Information polymorphism Array Theory implicit type conversion lattice recursive type Liskov substitution principle Zermelo set theory domain theory axiomatic set theory type scheme CUCH polymorphic lambda-calculus denotational semantics Xy-pic CAYLEY ASL+ abstract data type ZFC type-ahead Eiffel recursion theory D-type injection pre-order decision theory embedding theory change bounded instantiation derived type algebraic inclusive ideal aggregate type pointed domain Ponder Axiom of Comprehension more...